node(1).
node(2).
node(3).
node(4).
node(5).
node(6).
node(7).
node(8).
node(9).
node(10).
node(11).
node(12).
node(13).
node(14).
node(15).
node(16).
node(17).
node(18).
node(19).
node(20).
node(21).
node(22).
node(23).
node(24).
node(25).
node(26).
node(27).
node(28).
node(29).
node(30).
node(31).
node(32).
node(33).
node(34).
node(35).
node(36).
node(37).
node(38).
node(39).
node(40).
node(41).
node(42).
node(43).
node(44).
node(45).
node(46).
node(47).
node(48).
node(49).
node(50).
node(51).
node(52).
node(53).
node(54).
node(55).
node(56).
node(57).
node(58).
node(59).
node(60).
node(61).
node(62).
node(63).
node(64).
node(65).
node(66).
node(67).
node(68).
node(69).
node(70).
node(71).
node(72).
node(73).
node(74).
node(75).
node(76).
node(77).
node(78).
node(79).
node(80).
node(81).
node(82).
node(83).
node(84).
node(85).
node(86).
node(87).
node(88).
node(89).
node(90).
node(91).
node(92).
node(93).
node(94).
node(95).
node(96).
node(97).
node(98).
node(99).
node(100).
node(101).
node(102).
node(103).
node(104).
node(105).
node(106).
node(107).
node(108).
node(109).
node(110).
node(111).
node(112).
node(113).
node(114).
node(115).
node(116).
node(117).
node(118).
node(119).
node(120).
node(121).
node(122).
node(123).
node(124).
node(125).
link(1,22) :- #0.412.
link(22,1) :- #0.314.
link(1,28) :- #0.885.
link(28,1) :- #0.588.
link(1,29) :- #0.058.
link(29,1) :- #0.746.
link(1,41) :- #0.666.
link(41,1) :- #0.525.
link(1,50) :- #0.882.
link(50,1) :- #0.251.
link(1,53) :- #0.67.
link(53,1) :- #0.467.
link(1,57) :- #0.051.
link(57,1) :- #0.103.
link(1,65) :- #0.249.
link(65,1) :- #0.216.
link(1,69) :- #0.347.
link(69,1) :- #0.308.
link(1,83) :- #0.076.
link(83,1) :- #0.461.
link(1,88) :- #0.709.
link(88,1) :- #0.26.
link(1,89) :- #0.002.
link(89,1) :- #0.614.
link(1,120) :- #0.946.
link(120,1) :- #0.139.
link(2,41) :- #0.843.
link(41,2) :- #0.8.
link(2,63) :- #0.797.
link(63,2) :- #0.715.
link(2,73) :- #0.293.
link(73,2) :- #0.832.
link(2,74) :- #0.676.
link(74,2) :- #0.024.
link(2,78) :- #0.667.
link(78,2) :- #0.25.
link(2,86) :- #0.715.
link(86,2) :- #0.647.
link(2,93) :- #0.413.
link(93,2) :- #0.212.
link(2,95) :- #0.619.
link(95,2) :- #0.763.
link(2,105) :- #0.848.
link(105,2) :- #0.964.
link(2,109) :- #0.682.
link(109,2) :- #0.268.
link(3,5) :- #0.307.
link(5,3) :- #0.386.
link(3,34) :- #0.783.
link(34,3) :- #0.172.
link(3,38) :- #0.142.
link(38,3) :- #0.006.
link(3,58) :- #0.584.
link(58,3) :- #0.484.
link(3,73) :- #0.926.
link(73,3) :- #0.566.
link(3,74) :- #0.628.
link(74,3) :- #0.154.
link(3,78) :- #0.605.
link(78,3) :- #0.481.
link(3,79) :- #0.712.
link(79,3) :- #0.567.
link(3,80) :- #0.645.
link(80,3) :- #0.112.
link(3,114) :- #0.385.
link(114,3) :- #0.045.
link(4,13) :- #0.855.
link(13,4) :- #0.94.
link(4,26) :- #0.729.
link(26,4) :- #0.845.
link(4,50) :- #0.078.
link(50,4) :- #0.283.
link(4,51) :- #0.703.
link(51,4) :- #0.953.
link(4,54) :- #0.508.
link(54,4) :- #0.947.
link(4,55) :- #0.194.
link(55,4) :- #0.428.
link(4,63) :- #0.623.
link(63,4) :- #0.938.
link(4,71) :- #0.991.
link(71,4) :- #0.108.
link(4,83) :- #0.479.
link(83,4) :- #0.488.
link(4,100) :- #0.895.
link(100,4) :- #0.792.
link(4,115) :- #0.218.
link(115,4) :- #0.906.
link(5,12) :- #0.061.
link(12,5) :- #0.817.
link(5,23) :- #0.484.
link(23,5) :- #0.202.
link(5,25) :- #0.057.
link(25,5) :- #0.671.
link(5,27) :- #0.161.
link(27,5) :- #0.651.
link(5,39) :- #0.312.
link(39,5) :- #0.482.
link(5,45) :- #0.364.
link(45,5) :- #0.252.
link(5,51) :- #0.211.
link(51,5) :- #0.03.
link(5,57) :- #0.271.
link(57,5) :- #0.863.
link(5,63) :- #0.783.
link(63,5) :- #0.272.
link(5,67) :- #0.752.
link(67,5) :- #0.011.
link(5,70) :- #0.143.
link(70,5) :- #0.111.
link(5,97) :- #0.356.
link(97,5) :- #0.601.
link(5,115) :- #0.799.
link(115,5) :- #0.482.
link(6,9) :- #0.234.
link(9,6) :- #0.657.
link(6,26) :- #0.872.
link(26,6) :- #0.437.
link(6,39) :- #0.717.
link(39,6) :- #0.668.
link(6,57) :- #0.873.
link(57,6) :- #0.287.
link(6,73) :- #0.384.
link(73,6) :- #0.192.
link(6,84) :- #0.073.
link(84,6) :- #0.381.
link(6,86) :- #0.374.
link(86,6) :- #0.94.
link(6,90) :- #0.734.
link(90,6) :- #0.617.
link(6,96) :- #0.941.
link(96,6) :- #0.354.
link(6,110) :- #0.661.
link(110,6) :- #0.457.
link(6,119) :- #0.814.
link(119,6) :- #0.518.
link(7,9) :- #0.056.
link(9,7) :- #0.115.
link(7,20) :- #0.997.
link(20,7) :- #0.394.
link(7,35) :- #0.566.
link(35,7) :- #0.69.
link(7,38) :- #0.316.
link(38,7) :- #0.657.
link(7,44) :- #0.559.
link(44,7) :- #0.713.
link(7,52) :- #0.232.
link(52,7) :- #0.72.
link(7,55) :- #0.835.
link(55,7) :- #0.566.
link(7,57) :- #0.328.
link(57,7) :- #0.639.
link(7,64) :- #0.607.
link(64,7) :- #0.175.
link(7,69) :- #0.147.
link(69,7) :- #0.95.
link(7,70) :- #0.31.
link(70,7) :- #0.861.
link(7,76) :- #0.946.
link(76,7) :- #0.906.
link(7,85) :- #0.355.
link(85,7) :- #0.067.
link(7,86) :- #0.739.
link(86,7) :- #0.005.
link(7,124) :- #0.076.
link(124,7) :- #0.281.
link(8,14) :- #0.29.
link(14,8) :- #0.036.
link(8,17) :- #0.78.
link(17,8) :- #0.02.
link(8,28) :- #0.273.
link(28,8) :- #0.517.
link(8,39) :- #0.755.
link(39,8) :- #0.261.
link(8,58) :- #0.423.
link(58,8) :- #0.385.
link(8,61) :- #0.655.
link(61,8) :- #0.799.
link(8,65) :- #0.638.
link(65,8) :- #0.935.
link(8,72) :- #0.529.
link(72,8) :- #0.457.
link(8,99) :- #0.558.
link(99,8) :- #0.503.
link(8,101) :- #0.614.
link(101,8) :- #0.674.
link(8,111) :- #0.257.
link(111,8) :- #0.426.
link(8,112) :- #0.442.
link(112,8) :- #0.438.
link(9,10) :- #0.439.
link(10,9) :- #0.772.
link(9,11) :- #0.015.
link(11,9) :- #0.804.
link(9,24) :- #0.7.
link(24,9) :- #0.861.
link(9,28) :- #0.141.
link(28,9) :- #0.815.
link(9,33) :- #0.191.
link(33,9) :- #0.045.
link(9,35) :- #0.186.
link(35,9) :- #0.866.
link(9,73) :- #0.944.
link(73,9) :- #0.939.
link(9,75) :- #0.73.
link(75,9) :- #0.606.
link(9,80) :- #0.404.
link(80,9) :- #0.468.
link(9,103) :- #0.022.
link(103,9) :- #0.969.
link(9,108) :- #0.677.
link(108,9) :- #0.743.
link(9,123) :- #0.8.
link(123,9) :- #0.942.
link(10,18) :- #0.916.
link(18,10) :- #0.069.
link(10,26) :- #0.601.
link(26,10) :- #0.955.
link(10,34) :- #0.202.
link(34,10) :- #0.866.
link(10,39) :- #0.034.
link(39,10) :- #0.283.
link(10,42) :- #0.568.
link(42,10) :- #0.148.
link(10,43) :- #0.656.
link(43,10) :- #0.565.
link(10,50) :- #0.235.
link(50,10) :- #0.557.
link(10,54) :- #0.009.
link(54,10) :- #0.239.
link(10,60) :- #0.194.
link(60,10) :- #0.987.
link(10,64) :- #0.277.
link(64,10) :- #0.579.
link(10,66) :- #0.348.
link(66,10) :- #0.212.
link(10,71) :- #0.931.
link(71,10) :- #0.711.
link(10,74) :- #0.234.
link(74,10) :- #0.885.
link(10,97) :- #0.192.
link(97,10) :- #0.969.
link(10,124) :- #0.898.
link(124,10) :- #0.933.
link(11,18) :- #0.091.
link(18,11) :- #0.519.
link(11,35) :- #0.674.
link(35,11) :- #0.106.
link(11,50) :- #0.318.
link(50,11) :- #0.305.
link(11,51) :- #0.026.
link(51,11) :- #0.816.
link(11,60) :- #0.767.
link(60,11) :- #0.896.
link(11,63) :- #0.445.
link(63,11) :- #0.838.
link(11,108) :- #0.063.
link(108,11) :- #0.135.
link(11,115) :- #0.7.
link(115,11) :- #0.083.
link(11,116) :- #0.148.
link(116,11) :- #0.252.
link(11,119) :- #0.033.
link(119,11) :- #0.932.
link(11,120) :- #0.031.
link(120,11) :- #0.836.
link(11,124) :- #0.873.
link(124,11) :- #0.159.
link(12,25) :- #0.602.
link(25,12) :- #0.352.
link(12,27) :- #0.806.
link(27,12) :- #0.765.
link(12,31) :- #0.356.
link(31,12) :- #0.469.
link(12,37) :- #0.499.
link(37,12) :- #0.349.
link(12,40) :- #0.281.
link(40,12) :- #0.662.
link(12,44) :- #0.492.
link(44,12) :- #0.271.
link(12,51) :- #0.89.
link(51,12) :- #0.526.
link(12,52) :- #0.547.
link(52,12) :- #0.787.
link(12,58) :- #0.625.
link(58,12) :- #0.922.
link(12,80) :- #0.312.
link(80,12) :- #0.869.
link(12,82) :- #0.875.
link(82,12) :- #0.013.
link(12,107) :- #0.182.
link(107,12) :- #0.936.
link(13,16) :- #0.788.
link(16,13) :- #0.159.
link(13,33) :- #0.503.
link(33,13) :- #0.748.
link(13,38) :- #0.49.
link(38,13) :- #0.28.
link(13,40) :- #0.955.
link(40,13) :- #0.049.
link(13,82) :- #0.397.
link(82,13) :- #0.25.
link(13,89) :- #0.352.
link(89,13) :- #0.717.
link(14,19) :- #0.942.
link(19,14) :- #0.11.
link(14,46) :- #0.189.
link(46,14) :- #0.625.
link(14,48) :- #0.35.
link(48,14) :- #0.821.
link(14,49) :- #0.409.
link(49,14) :- #0.636.
link(14,54) :- #0.298.
link(54,14) :- #0.086.
link(14,57) :- #0.758.
link(57,14) :- #0.076.
link(14,64) :- #0.531.
link(64,14) :- #0.768.
link(14,80) :- #0.261.
link(80,14) :- #0.251.
link(14,89) :- #0.361.
link(89,14) :- #0.952.
link(14,97) :- #0.082.
link(97,14) :- #0.569.
link(14,99) :- #0.431.
link(99,14) :- #0.904.
link(14,107) :- #0.062.
link(107,14) :- #0.11.
link(14,108) :- #0.25.
link(108,14) :- #0.737.
link(14,110) :- #0.497.
link(110,14) :- #0.198.
link(14,115) :- #0.681.
link(115,14) :- #0.288.
link(15,41) :- #0.087.
link(41,15) :- #0.135.
link(15,46) :- #0.223.
link(46,15) :- #0.669.
link(15,50) :- #0.113.
link(50,15) :- #0.454.
link(15,74) :- #0.377.
link(74,15) :- #0.605.
link(15,79) :- #0.695.
link(79,15) :- #0.314.
link(15,87) :- #0.497.
link(87,15) :- #0.524.
link(15,90) :- #0.898.
link(90,15) :- #0.253.
link(15,91) :- #0.945.
link(91,15) :- #0.547.
link(15,98) :- #0.442.
link(98,15) :- #0.949.
link(15,102) :- #0.475.
link(102,15) :- #0.881.
link(15,104) :- #0.992.
link(104,15) :- #0.614.
link(15,106) :- #0.964.
link(106,15) :- #0.541.
link(15,112) :- #0.554.
link(112,15) :- #0.864.
link(15,115) :- #0.841.
link(115,15) :- #0.929.
link(15,117) :- #0.22.
link(117,15) :- #0.459.
link(15,124) :- #0.047.
link(124,15) :- #0.304.
link(16,17) :- #0.607.
link(17,16) :- #0.974.
link(16,35) :- #0.433.
link(35,16) :- #0.858.
link(16,43) :- #0.32.
link(43,16) :- #0.902.
link(16,45) :- #0.372.
link(45,16) :- #0.672.
link(16,46) :- #0.064.
link(46,16) :- #0.676.
link(16,58) :- #0.682.
link(58,16) :- #0.61.
link(16,61) :- #0.699.
link(61,16) :- #0.806.
link(16,91) :- #0.919.
link(91,16) :- #0.836.
link(16,93) :- #0.262.
link(93,16) :- #0.586.
link(16,100) :- #0.665.
link(100,16) :- #0.709.
link(17,42) :- #0.385.
link(42,17) :- #0.396.
link(17,44) :- #0.833.
link(44,17) :- #0.65.
link(17,60) :- #0.545.
link(60,17) :- #0.233.
link(17,62) :- #0.503.
link(62,17) :- #0.205.
link(17,66) :- #0.439.
link(66,17) :- #0.147.
link(17,67) :- #0.534.
link(67,17) :- #0.936.
link(17,85) :- #0.511.
link(85,17) :- #0.497.
link(17,91) :- #0.91.
link(91,17) :- #0.256.
link(17,93) :- #0.287.
link(93,17) :- #0.245.
link(17,105) :- #0.434.
link(105,17) :- #0.795.
link(18,30) :- #0.755.
link(30,18) :- #0.68.
link(18,35) :- #0.206.
link(35,18) :- #0.756.
link(18,61) :- #0.318.
link(61,18) :- #0.444.
link(18,62) :- #0.11.
link(62,18) :- #0.747.
link(18,84) :- #0.068.
link(84,18) :- #0.363.
link(18,85) :- #0.971.
link(85,18) :- #0.501.
link(18,103) :- #0.596.
link(103,18) :- #0.231.
link(18,107) :- #0.815.
link(107,18) :- #0.193.
link(18,110) :- #0.77.
link(110,18) :- #0.376.
link(19,20) :- #0.857.
link(20,19) :- #0.765.
link(19,22) :- #0.76.
link(22,19) :- #0.85.
link(19,24) :- #0.053.
link(24,19) :- #0.047.
link(19,29) :- #0.772.
link(29,19) :- #0.498.
link(19,36) :- #0.754.
link(36,19) :- #0.858.
link(19,40) :- #0.991.
link(40,19) :- #0.853.
link(19,64) :- #0.752.
link(64,19) :- #0.627.
link(19,91) :- #0.974.
link(91,19) :- #0.779.
link(19,92) :- #0.626.
link(92,19) :- #0.186.
link(19,104) :- #0.43.
link(104,19) :- #0.564.
link(19,115) :- #0.242.
link(115,19) :- #0.819.
link(19,116) :- #0.819.
link(116,19) :- #0.708.
link(19,124) :- #0.873.
link(124,19) :- #0.538.
link(20,27) :- #0.607.
link(27,20) :- #0.01.
link(20,35) :- #0.864.
link(35,20) :- #0.311.
link(20,44) :- #0.191.
link(44,20) :- #0.789.
link(20,67) :- #0.974.
link(67,20) :- #0.888.
link(20,75) :- #0.209.
link(75,20) :- #0.668.
link(20,98) :- #0.525.
link(98,20) :- #0.209.
link(20,124) :- #0.342.
link(124,20) :- #0.495.
link(20,125) :- #0.508.
link(125,20) :- #0.768.
link(21,25) :- #0.028.
link(25,21) :- #0.596.
link(21,29) :- #0.928.
link(29,21) :- #0.66.
link(21,41) :- #0.199.
link(41,21) :- #0.942.
link(21,50) :- #0.409.
link(50,21) :- #0.352.
link(21,52) :- #0.01.
link(52,21) :- #0.372.
link(21,54) :- #0.539.
link(54,21) :- #0.222.
link(21,80) :- #0.254.
link(80,21) :- #0.137.
link(21,81) :- #0.426.
link(81,21) :- #0.751.
link(21,83) :- #0.138.
link(83,21) :- #0.565.
link(21,93) :- #0.543.
link(93,21) :- #0.561.
link(21,99) :- #0.179.
link(99,21) :- #0.059.
link(21,111) :- #0.329.
link(111,21) :- #0.673.
link(22,46) :- #0.284.
link(46,22) :- #0.356.
link(22,55) :- #0.218.
link(55,22) :- #0.752.
link(22,70) :- #0.491.
link(70,22) :- #0.395.
link(22,73) :- #0.359.
link(73,22) :- #0.508.
link(22,93) :- #0.294.
link(93,22) :- #0.299.
link(23,27) :- #0.135.
link(27,23) :- #0.868.
link(23,28) :- #0.847.
link(28,23) :- #0.264.
link(23,29) :- #0.778.
link(29,23) :- #0.112.
link(23,30) :- #0.283.
link(30,23) :- #0.173.
link(23,37) :- #0.6.
link(37,23) :- #0.783.
link(23,43) :- #0.036.
link(43,23) :- #0.852.
link(23,51) :- #0.15.
link(51,23) :- #0.043.
link(23,57) :- #0.526.
link(57,23) :- #0.324.
link(23,66) :- #0.533.
link(66,23) :- #0.097.
link(23,70) :- #0.294.
link(70,23) :- #0.461.
link(23,77) :- #0.158.
link(77,23) :- #0.774.
link(23,85) :- #0.428.
link(85,23) :- #0.873.
link(23,109) :- #0.797.
link(109,23) :- #0.886.
link(23,123) :- #0.394.
link(123,23) :- #0.137.
link(24,48) :- #0.352.
link(48,24) :- #0.463.
link(24,52) :- #0.706.
link(52,24) :- #0.719.
link(24,56) :- #0.609.
link(56,24) :- #0.545.
link(24,86) :- #0.809.
link(86,24) :- #0.68.
link(24,98) :- #0.195.
link(98,24) :- #0.158.
link(24,119) :- #0.35.
link(119,24) :- #0.314.
link(24,120) :- #0.244.
link(120,24) :- #0.323.
link(24,125) :- #0.391.
link(125,24) :- #0.548.
link(25,28) :- #0.199.
link(28,25) :- #0.98.
link(25,33) :- #0.92.
link(33,25) :- #0.749.
link(25,64) :- #0.727.
link(64,25) :- #0.293.
link(25,68) :- #0.191.
link(68,25) :- #0.905.
link(25,71) :- #0.709.
link(71,25) :- #0.647.
link(25,74) :- #0.44.
link(74,25) :- #0.845.
link(25,84) :- #0.582.
link(84,25) :- #0.388.
link(25,93) :- #0.45.
link(93,25) :- #0.802.
link(25,99) :- #0.131.
link(99,25) :- #0.952.
link(25,112) :- #0.475.
link(112,25) :- #0.571.
link(25,118) :- #0.972.
link(118,25) :- #0.838.
link(26,30) :- #0.342.
link(30,26) :- #0.268.
link(26,32) :- #0.999.
link(32,26) :- #0.198.
link(26,54) :- #0.997.
link(54,26) :- #0.289.
link(26,64) :- #0.803.
link(64,26) :- #0.812.
link(26,76) :- #0.739.
link(76,26) :- #0.952.
link(26,77) :- #0.296.
link(77,26) :- #0.366.
link(26,78) :- #0.265.
link(78,26) :- #0.059.
link(26,79) :- #0.413.
link(79,26) :- #0.303.
link(26,83) :- #0.131.
link(83,26) :- #0.734.
link(26,84) :- #0.882.
link(84,26) :- #0.79.
link(26,86) :- #0.298.
link(86,26) :- #0.443.
link(26,91) :- #0.505.
link(91,26) :- #0.345.
link(26,99) :- #0.837.
link(99,26) :- #0.693.
link(26,104) :- #0.7.
link(104,26) :- #0.432.
link(26,110) :- #0.439.
link(110,26) :- #0.074.
link(26,119) :- #0.885.
link(119,26) :- #0.465.
link(26,120) :- #0.83.
link(120,26) :- #0.661.
link(26,124) :- #0.686.
link(124,26) :- #0.392.
link(27,59) :- #0.171.
link(59,27) :- #0.507.
link(27,68) :- #0.377.
link(68,27) :- #0.843.
link(27,75) :- #0.805.
link(75,27) :- #0.581.
link(27,76) :- #0.94.
link(76,27) :- #0.195.
link(27,90) :- #0.593.
link(90,27) :- #0.74.
link(27,97) :- #0.022.
link(97,27) :- #0.065.
link(27,99) :- #0.612.
link(99,27) :- #0.861.
link(27,103) :- #0.768.
link(103,27) :- #0.502.
link(27,105) :- #0.916.
link(105,27) :- #0.161.
link(28,31) :- #0.283.
link(31,28) :- #0.48.
link(28,47) :- #0.813.
link(47,28) :- #0.902.
link(28,58) :- #0.691.
link(58,28) :- #0.324.
link(28,73) :- #0.932.
link(73,28) :- #0.547.
link(28,97) :- #0.536.
link(97,28) :- #0.127.
link(29,30) :- #0.905.
link(30,29) :- #0.042.
link(29,47) :- #0.327.
link(47,29) :- #0.541.
link(29,64) :- #0.636.
link(64,29) :- #0.213.
link(29,70) :- #0.544.
link(70,29) :- #0.917.
link(29,85) :- #0.72.
link(85,29) :- #0.22.
link(29,112) :- #0.374.
link(112,29) :- #0.486.
link(29,114) :- #0.112.
link(114,29) :- #0.34.
link(29,122) :- #0.976.
link(122,29) :- #0.251.
link(29,125) :- #0.605.
link(125,29) :- #0.761.
link(30,33) :- #0.585.
link(33,30) :- #0.63.
link(30,44) :- #0.327.
link(44,30) :- #0.012.
link(30,53) :- #0.294.
link(53,30) :- #0.532.
link(30,76) :- #0.245.
link(76,30) :- #0.829.
link(30,85) :- #0.673.
link(85,30) :- #0.973.
link(30,89) :- #0.719.
link(89,30) :- #0.526.
link(30,104) :- #0.459.
link(104,30) :- #0.116.
link(30,111) :- #0.43.
link(111,30) :- #0.256.
link(30,116) :- #0.636.
link(116,30) :- #0.536.
link(31,48) :- #0.304.
link(48,31) :- #0.08.
link(31,53) :- #0.024.
link(53,31) :- #0.054.
link(31,65) :- #0.621.
link(65,31) :- #0.632.
link(31,79) :- #0.839.
link(79,31) :- #0.488.
link(31,93) :- #0.597.
link(93,31) :- #0.044.
link(31,105) :- #0.108.
link(105,31) :- #0.649.
link(31,116) :- #0.916.
link(116,31) :- #0.81.
link(31,117) :- #0.499.
link(117,31) :- #0.834.
link(32,41) :- #0.787.
link(41,32) :- #0.632.
link(32,42) :- #0.659.
link(42,32) :- #0.208.
link(32,46) :- #0.89.
link(46,32) :- #0.193.
link(32,52) :- #0.956.
link(52,32) :- #0.239.
link(32,55) :- #0.471.
link(55,32) :- #0.931.
link(32,59) :- #0.184.
link(59,32) :- #0.604.
link(32,73) :- #0.851.
link(73,32) :- #0.498.
link(32,74) :- #0.188.
link(74,32) :- #0.55.
link(32,86) :- #0.744.
link(86,32) :- #0.951.
link(32,102) :- #0.81.
link(102,32) :- #0.207.
link(32,110) :- #0.221.
link(110,32) :- #0.976.
link(32,111) :- #0.578.
link(111,32) :- #0.777.
link(33,35) :- #0.584.
link(35,33) :- #0.543.
link(33,39) :- #0.163.
link(39,33) :- #0.494.
link(33,40) :- #0.143.
link(40,33) :- #0.467.
link(33,41) :- #0.85.
link(41,33) :- #0.844.
link(33,45) :- #0.307.
link(45,33) :- #0.79.
link(33,85) :- #0.035.
link(85,33) :- #0.197.
link(33,114) :- #0.899.
link(114,33) :- #0.003.
link(33,122) :- #0.436.
link(122,33) :- #0.208.
link(34,38) :- #0.296.
link(38,34) :- #0.753.
link(34,40) :- #0.221.
link(40,34) :- #0.135.
link(34,51) :- #0.405.
link(51,34) :- #0.117.
link(34,54) :- #0.266.
link(54,34) :- #0.494.
link(34,61) :- #0.361.
link(61,34) :- #0.248.
link(34,74) :- #0.245.
link(74,34) :- #0.002.
link(34,84) :- #0.882.
link(84,34) :- #0.463.
link(34,109) :- #0.124.
link(109,34) :- #0.717.
link(34,114) :- #0.858.
link(114,34) :- #0.68.
link(35,42) :- #0.891.
link(42,35) :- #0.238.
link(35,45) :- #0.767.
link(45,35) :- #0.811.
link(35,48) :- #0.266.
link(48,35) :- #0.233.
link(35,86) :- #0.114.
link(86,35) :- #0.817.
link(36,46) :- #0.607.
link(46,36) :- #0.759.
link(36,52) :- #0.07.
link(52,36) :- #0.004.
link(36,66) :- #0.946.
link(66,36) :- #0.54.
link(36,67) :- #0.816.
link(67,36) :- #0.787.
link(36,69) :- #0.871.
link(69,36) :- #0.8.
link(36,73) :- #0.697.
link(73,36) :- #0.006.
link(36,75) :- #0.869.
link(75,36) :- #0.221.
link(36,76) :- #0.758.
link(76,36) :- #0.535.
link(36,92) :- #0.56.
link(92,36) :- #0.297.
link(36,98) :- #0.673.
link(98,36) :- #0.724.
link(36,110) :- #0.353.
link(110,36) :- #0.814.
link(36,121) :- #0.749.
link(121,36) :- #0.388.
link(37,42) :- #0.209.
link(42,37) :- #0.257.
link(37,60) :- #0.839.
link(60,37) :- #0.916.
link(37,63) :- #0.177.
link(63,37) :- #0.179.
link(37,72) :- #0.531.
link(72,37) :- #0.436.
link(37,77) :- #0.801.
link(77,37) :- #0.367.
link(37,89) :- #0.337.
link(89,37) :- #0.104.
link(37,101) :- #0.634.
link(101,37) :- #0.947.
link(37,108) :- #0.303.
link(108,37) :- #0.899.
link(37,109) :- #0.379.
link(109,37) :- #0.609.
link(38,56) :- #0.139.
link(56,38) :- #0.097.
link(38,58) :- #0.354.
link(58,38) :- #0.985.
link(38,72) :- #0.77.
link(72,38) :- #0.747.
link(38,85) :- #0.372.
link(85,38) :- #0.044.
link(38,108) :- #0.91.
link(108,38) :- #0.405.
link(39,47) :- #0.805.
link(47,39) :- #0.437.
link(39,75) :- #0.725.
link(75,39) :- #0.404.
link(39,76) :- #0.956.
link(76,39) :- #0.012.
link(39,87) :- #0.79.
link(87,39) :- #0.583.
link(39,94) :- #0.214.
link(94,39) :- #0.747.
link(39,104) :- #0.792.
link(104,39) :- #0.508.
link(39,111) :- #0.187.
link(111,39) :- #0.93.
link(39,124) :- #0.995.
link(124,39) :- #0.26.
link(40,45) :- #0.853.
link(45,40) :- #0.288.
link(40,59) :- #0.356.
link(59,40) :- #0.321.
link(40,72) :- #0.908.
link(72,40) :- #0.546.
link(40,84) :- #0.747.
link(84,40) :- #0.446.
link(40,101) :- #0.229.
link(101,40) :- #0.658.
link(40,113) :- #0.672.
link(113,40) :- #0.577.
link(40,114) :- #0.635.
link(114,40) :- #0.981.
link(40,117) :- #0.691.
link(117,40) :- #0.485.
link(41,46) :- #0.774.
link(46,41) :- #0.428.
link(41,80) :- #0.788.
link(80,41) :- #0.281.
link(41,82) :- #0.721.
link(82,41) :- #0.133.
link(41,86) :- #0.851.
link(86,41) :- #0.914.
link(41,87) :- #0.015.
link(87,41) :- #0.16.
link(41,92) :- #0.271.
link(92,41) :- #0.188.
link(41,97) :- #0.104.
link(97,41) :- #0.072.
link(41,106) :- #0.162.
link(106,41) :- #0.348.
link(41,122) :- #0.077.
link(122,41) :- #0.81.
link(42,43) :- #0.639.
link(43,42) :- #0.489.
link(42,67) :- #0.853.
link(67,42) :- #0.83.
link(42,69) :- #0.811.
link(69,42) :- #0.425.
link(42,87) :- #0.583.
link(87,42) :- #0.194.
link(42,109) :- #0.066.
link(109,42) :- #0.523.
link(42,113) :- #0.551.
link(113,42) :- #0.635.
link(42,117) :- #0.919.
link(117,42) :- #0.813.
link(43,53) :- #0.673.
link(53,43) :- #0.082.
link(43,65) :- #0.167.
link(65,43) :- #0.173.
link(43,67) :- #0.262.
link(67,43) :- #0.965.
link(43,69) :- #0.588.
link(69,43) :- #0.238.
link(43,73) :- #0.916.
link(73,43) :- #0.589.
link(43,80) :- #0.649.
link(80,43) :- #0.983.
link(43,82) :- #0.481.
link(82,43) :- #0.982.
link(43,90) :- #0.986.
link(90,43) :- #0.5.
link(43,112) :- #0.338.
link(112,43) :- #0.004.
link(43,120) :- #0.158.
link(120,43) :- #0.912.
link(43,123) :- #0.982.
link(123,43) :- #0.851.
link(44,51) :- #0.921.
link(51,44) :- #0.502.
link(44,71) :- #0.668.
link(71,44) :- #0.853.
link(44,91) :- #0.943.
link(91,44) :- #0.092.
link(44,105) :- #0.935.
link(105,44) :- #0.141.
link(44,112) :- #0.308.
link(112,44) :- #0.374.
link(44,116) :- #0.162.
link(116,44) :- #0.012.
link(44,123) :- #0.817.
link(123,44) :- #0.914.
link(44,124) :- #0.
link(124,44) :- #0.033.
link(45,71) :- #0.047.
link(71,45) :- #0.878.
link(45,74) :- #0.039.
link(74,45) :- #0.93.
link(45,99) :- #0.498.
link(99,45) :- #0.236.
link(45,100) :- #0.372.
link(100,45) :- #0.328.
link(45,106) :- #0.084.
link(106,45) :- #0.415.
link(45,107) :- #0.672.
link(107,45) :- #0.596.
link(45,123) :- #0.6.
link(123,45) :- #0.578.
link(46,59) :- #0.911.
link(59,46) :- #0.308.
link(46,63) :- #0.855.
link(63,46) :- #0.127.
link(46,71) :- #0.123.
link(71,46) :- #0.674.
link(46,85) :- #0.421.
link(85,46) :- #0.672.
link(46,94) :- #0.539.
link(94,46) :- #0.376.
link(46,115) :- #0.883.
link(115,46) :- #0.769.
link(46,118) :- #0.548.
link(118,46) :- #0.392.
link(47,61) :- #0.213.
link(61,47) :- #0.874.
link(47,81) :- #0.097.
link(81,47) :- #0.972.
link(47,91) :- #0.016.
link(91,47) :- #0.27.
link(47,101) :- #0.28.
link(101,47) :- #0.103.
link(47,103) :- #0.796.
link(103,47) :- #0.504.
link(47,111) :- #0.697.
link(111,47) :- #0.74.
link(47,121) :- #0.721.
link(121,47) :- #0.143.
link(47,125) :- #0.1.
link(125,47) :- #0.166.
link(48,57) :- #0.216.
link(57,48) :- #0.394.
link(48,58) :- #0.412.
link(58,48) :- #0.038.
link(48,78) :- #0.841.
link(78,48) :- #0.21.
link(48,88) :- #0.34.
link(88,48) :- #0.706.
link(48,103) :- #0.657.
link(103,48) :- #0.556.
link(48,104) :- #0.832.
link(104,48) :- #0.914.
link(49,97) :- #0.465.
link(97,49) :- #0.429.
link(49,101) :- #0.957.
link(101,49) :- #0.076.
link(49,110) :- #0.952.
link(110,49) :- #0.107.
link(49,113) :- #0.618.
link(113,49) :- #0.379.
link(49,117) :- #0.899.
link(117,49) :- #0.936.
link(49,119) :- #0.679.
link(119,49) :- #0.338.
link(49,124) :- #0.862.
link(124,49) :- #0.353.
link(50,65) :- #0.685.
link(65,50) :- #0.36.
link(50,70) :- #0.23.
link(70,50) :- #0.841.
link(50,72) :- #0.612.
link(72,50) :- #0.897.
link(50,79) :- #0.755.
link(79,50) :- #0.163.
link(50,90) :- #0.053.
link(90,50) :- #0.029.
link(50,107) :- #0.665.
link(107,50) :- #0.7.
link(50,111) :- #0.477.
link(111,50) :- #0.491.
link(50,117) :- #0.435.
link(117,50) :- #0.628.
link(51,54) :- #0.741.
link(54,51) :- #0.296.
link(51,60) :- #0.647.
link(60,51) :- #0.038.
link(51,72) :- #0.773.
link(72,51) :- #0.099.
link(51,89) :- #0.645.
link(89,51) :- #0.284.
link(51,103) :- #0.274.
link(103,51) :- #0.115.
link(51,106) :- #0.702.
link(106,51) :- #0.788.
link(51,111) :- #0.701.
link(111,51) :- #0.977.
link(51,122) :- #0.224.
link(122,51) :- #0.067.
link(52,70) :- #0.529.
link(70,52) :- #0.95.
link(52,117) :- #0.163.
link(117,52) :- #0.005.
link(52,119) :- #0.683.
link(119,52) :- #0.951.
link(52,125) :- #0.957.
link(125,52) :- #0.591.
link(53,80) :- #0.666.
link(80,53) :- #0.132.
link(53,93) :- #0.163.
link(93,53) :- #0.759.
link(53,98) :- #0.619.
link(98,53) :- #0.301.
link(53,108) :- #0.936.
link(108,53) :- #0.218.
link(53,112) :- #0.842.
link(112,53) :- #0.109.
link(54,65) :- #0.753.
link(65,54) :- #0.692.
link(54,92) :- #0.844.
link(92,54) :- #0.054.
link(54,99) :- #0.625.
link(99,54) :- #0.903.
link(54,107) :- #0.245.
link(107,54) :- #0.551.
link(54,114) :- #0.631.
link(114,54) :- #0.297.
link(54,117) :- #0.897.
link(117,54) :- #0.273.
link(54,118) :- #0.907.
link(118,54) :- #0.763.
link(54,120) :- #0.75.
link(120,54) :- #0.081.
link(54,124) :- #0.692.
link(124,54) :- #0.665.
link(54,125) :- #0.805.
link(125,54) :- #0.972.
link(55,73) :- #0.08.
link(73,55) :- #0.839.
link(55,79) :- #0.154.
link(79,55) :- #0.962.
link(55,85) :- #0.555.
link(85,55) :- #0.036.
link(55,89) :- #0.573.
link(89,55) :- #0.628.
link(55,98) :- #0.17.
link(98,55) :- #0.6.
link(55,101) :- #0.513.
link(101,55) :- #0.397.
link(55,104) :- #0.292.
link(104,55) :- #0.269.
link(55,109) :- #0.964.
link(109,55) :- #0.853.
link(55,113) :- #0.941.
link(113,55) :- #0.295.
link(56,64) :- #0.586.
link(64,56) :- #0.247.
link(56,66) :- #0.812.
link(66,56) :- #0.001.
link(56,76) :- #0.466.
link(76,56) :- #0.699.
link(56,81) :- #0.652.
link(81,56) :- #0.41.
link(56,87) :- #0.76.
link(87,56) :- #0.874.
link(56,96) :- #0.735.
link(96,56) :- #0.066.
link(56,112) :- #0.534.
link(112,56) :- #0.225.
link(57,60) :- #0.997.
link(60,57) :- #0.098.
link(57,71) :- #0.122.
link(71,57) :- #0.487.
link(57,80) :- #0.161.
link(80,57) :- #0.536.
link(57,88) :- #0.818.
link(88,57) :- #0.429.
link(57,123) :- #0.602.
link(123,57) :- #0.668.
link(58,59) :- #0.544.
link(59,58) :- #0.869.
link(58,60) :- #0.398.
link(60,58) :- #0.534.
link(58,74) :- #0.119.
link(74,58) :- #0.358.
link(58,76) :- #0.158.
link(76,58) :- #0.91.
link(58,89) :- #0.72.
link(89,58) :- #0.583.
link(58,106) :- #0.61.
link(106,58) :- #0.857.
link(58,122) :- #0.215.
link(122,58) :- #0.252.
link(59,65) :- #0.554.
link(65,59) :- #0.274.
link(59,67) :- #0.139.
link(67,59) :- #0.82.
link(59,77) :- #0.33.
link(77,59) :- #0.312.
link(59,79) :- #0.563.
link(79,59) :- #0.858.
link(59,89) :- #0.333.
link(89,59) :- #0.708.
link(59,108) :- #0.848.
link(108,59) :- #0.818.
link(59,110) :- #0.966.
link(110,59) :- #0.591.
link(59,117) :- #0.098.
link(117,59) :- #0.629.
link(60,61) :- #0.435.
link(61,60) :- #0.26.
link(60,64) :- #0.699.
link(64,60) :- #0.441.
link(60,65) :- #0.752.
link(65,60) :- #0.453.
link(60,79) :- #0.006.
link(79,60) :- #0.404.
link(60,82) :- #0.464.
link(82,60) :- #0.384.
link(60,97) :- #0.502.
link(97,60) :- #0.821.
link(60,104) :- #0.077.
link(104,60) :- #0.954.
link(60,109) :- #0.405.
link(109,60) :- #0.274.
link(60,117) :- #0.63.
link(117,60) :- #0.255.
link(60,119) :- #0.119.
link(119,60) :- #0.151.
link(61,75) :- #0.745.
link(75,61) :- #0.485.
link(61,90) :- #0.313.
link(90,61) :- #0.791.
link(61,91) :- #0.148.
link(91,61) :- #0.31.
link(61,108) :- #0.08.
link(108,61) :- #0.675.
link(61,111) :- #0.558.
link(111,61) :- #0.424.
link(61,112) :- #0.152.
link(112,61) :- #0.366.
link(61,114) :- #0.087.
link(114,61) :- #0.648.
link(62,89) :- #0.745.
link(89,62) :- #0.586.
link(62,113) :- #0.505.
link(113,62) :- #0.241.
link(62,115) :- #0.317.
link(115,62) :- #0.685.
link(63,68) :- #0.569.
link(68,63) :- #0.901.
link(63,74) :- #0.378.
link(74,63) :- #0.114.
link(63,89) :- #0.997.
link(89,63) :- #0.057.
link(63,93) :- #0.998.
link(93,63) :- #0.26.
link(63,116) :- #0.815.
link(116,63) :- #0.65.
link(63,119) :- #0.768.
link(119,63) :- #0.298.
link(64,71) :- #0.823.
link(71,64) :- #0.741.
link(64,82) :- #0.537.
link(82,64) :- #0.744.
link(64,94) :- #0.689.
link(94,64) :- #0.531.
link(64,102) :- #0.168.
link(102,64) :- #0.06.
link(64,106) :- #0.924.
link(106,64) :- #0.812.
link(64,120) :- #0.098.
link(120,64) :- #0.504.
link(65,67) :- #0.326.
link(67,65) :- #0.686.
link(65,69) :- #0.427.
link(69,65) :- #0.995.
link(65,80) :- #0.675.
link(80,65) :- #0.624.
link(65,88) :- #0.3.
link(88,65) :- #0.034.
link(65,109) :- #0.91.
link(109,65) :- #0.331.
link(66,68) :- #0.117.
link(68,66) :- #0.956.
link(66,86) :- #0.06.
link(86,66) :- #0.515.
link(66,88) :- #0.795.
link(88,66) :- #0.186.
link(66,91) :- #0.88.
link(91,66) :- #0.815.
link(66,106) :- #0.389.
link(106,66) :- #0.894.
link(66,107) :- #0.068.
link(107,66) :- #0.87.
link(66,113) :- #0.454.
link(113,66) :- #0.879.
link(67,81) :- #0.669.
link(81,67) :- #0.709.
link(67,94) :- #0.027.
link(94,67) :- #0.614.
link(67,98) :- #0.612.
link(98,67) :- #0.35.
link(67,103) :- #0.954.
link(103,67) :- #0.892.
link(67,110) :- #0.595.
link(110,67) :- #0.118.
link(67,119) :- #0.906.
link(119,67) :- #0.069.
link(68,90) :- #0.543.
link(90,68) :- #0.834.
link(68,107) :- #0.08.
link(107,68) :- #0.571.
link(69,80) :- #0.652.
link(80,69) :- #0.656.
link(69,90) :- #0.628.
link(90,69) :- #0.574.
link(69,96) :- #0.638.
link(96,69) :- #0.
link(69,97) :- #0.974.
link(97,69) :- #0.83.
link(69,99) :- #0.774.
link(99,69) :- #0.241.
link(69,116) :- #0.624.
link(116,69) :- #0.859.
link(69,119) :- #0.97.
link(119,69) :- #0.837.
link(69,123) :- #0.896.
link(123,69) :- #0.587.
link(70,72) :- #0.617.
link(72,70) :- #0.144.
link(70,73) :- #0.431.
link(73,70) :- #0.164.
link(70,98) :- #0.751.
link(98,70) :- #0.808.
link(70,100) :- #0.81.
link(100,70) :- #0.877.
link(70,102) :- #0.007.
link(102,70) :- #0.546.
link(70,116) :- #0.154.
link(116,70) :- #0.713.
link(70,125) :- #0.536.
link(125,70) :- #0.814.
link(71,80) :- #0.26.
link(80,71) :- #0.237.
link(71,85) :- #0.997.
link(85,71) :- #0.187.
link(71,94) :- #0.358.
link(94,71) :- #0.76.
link(71,117) :- #0.678.
link(117,71) :- #0.608.
link(72,82) :- #0.515.
link(82,72) :- #0.605.
link(72,93) :- #0.901.
link(93,72) :- #0.543.
link(72,94) :- #0.762.
link(94,72) :- #0.044.
link(72,96) :- #0.067.
link(96,72) :- #0.79.
link(72,107) :- #0.973.
link(107,72) :- #0.89.
link(72,117) :- #0.77.
link(117,72) :- #0.394.
link(73,77) :- #0.146.
link(77,73) :- #0.961.
link(73,79) :- #0.445.
link(79,73) :- #0.085.
link(73,85) :- #0.141.
link(85,73) :- #0.572.
link(73,99) :- #0.513.
link(99,73) :- #0.563.
link(73,102) :- #0.805.
link(102,73) :- #0.957.
link(73,110) :- #0.088.
link(110,73) :- #0.157.
link(73,118) :- #0.281.
link(118,73) :- #0.2.
link(73,123) :- #0.286.
link(123,73) :- #0.056.
link(74,93) :- #0.774.
link(93,74) :- #0.642.
link(74,102) :- #0.212.
link(102,74) :- #0.802.
link(75,83) :- #0.022.
link(83,75) :- #0.388.
link(75,89) :- #0.809.
link(89,75) :- #0.853.
link(75,92) :- #0.756.
link(92,75) :- #0.943.
link(75,120) :- #0.245.
link(120,75) :- #0.046.
link(75,123) :- #0.767.
link(123,75) :- #0.981.
link(76,78) :- #0.012.
link(78,76) :- #0.104.
link(76,79) :- #0.38.
link(79,76) :- #0.12.
link(76,88) :- #0.018.
link(88,76) :- #0.271.
link(76,89) :- #0.761.
link(89,76) :- #0.381.
link(76,105) :- #0.751.
link(105,76) :- #0.537.
link(76,109) :- #0.96.
link(109,76) :- #0.884.
link(76,112) :- #0.006.
link(112,76) :- #0.259.
link(77,85) :- #0.06.
link(85,77) :- #0.648.
link(77,87) :- #0.407.
link(87,77) :- #0.499.
link(77,101) :- #0.426.
link(101,77) :- #0.903.
link(77,105) :- #0.971.
link(105,77) :- #0.7.
link(77,109) :- #0.446.
link(109,77) :- #0.857.
link(78,88) :- #0.818.
link(88,78) :- #0.132.
link(78,100) :- #0.448.
link(100,78) :- #0.972.
link(78,118) :- #0.775.
link(118,78) :- #0.544.
link(79,95) :- #0.53.
link(95,79) :- #0.388.
link(79,106) :- #0.373.
link(106,79) :- #0.863.
link(79,109) :- #0.083.
link(109,79) :- #0.736.
link(79,123) :- #0.631.
link(123,79) :- #0.29.
link(80,84) :- #0.93.
link(84,80) :- #0.273.
link(80,87) :- #0.069.
link(87,80) :- #0.565.
link(81,85) :- #0.457.
link(85,81) :- #0.384.
link(81,96) :- #0.809.
link(96,81) :- #0.2.
link(81,98) :- #0.394.
link(98,81) :- #0.455.
link(81,103) :- #0.003.
link(103,81) :- #0.427.
link(81,109) :- #0.091.
link(109,81) :- #0.934.
link(81,110) :- #0.626.
link(110,81) :- #0.214.
link(81,115) :- #0.192.
link(115,81) :- #0.834.
link(82,99) :- #0.063.
link(99,82) :- #0.88.
link(82,102) :- #0.498.
link(102,82) :- #0.815.
link(82,113) :- #0.594.
link(113,82) :- #0.274.
link(82,119) :- #0.919.
link(119,82) :- #0.272.
link(82,120) :- #0.571.
link(120,82) :- #0.607.
link(83,92) :- #0.566.
link(92,83) :- #0.202.
link(83,110) :- #0.757.
link(110,83) :- #0.654.
link(83,112) :- #0.101.
link(112,83) :- #0.313.
link(83,122) :- #0.222.
link(122,83) :- #0.076.
link(84,86) :- #0.089.
link(86,84) :- #0.216.
link(84,89) :- #0.564.
link(89,84) :- #0.848.
link(84,123) :- #0.633.
link(123,84) :- #0.227.
link(85,87) :- #0.979.
link(87,85) :- #0.775.
link(85,95) :- #0.502.
link(95,85) :- #0.435.
link(85,101) :- #0.124.
link(101,85) :- #0.535.
link(86,89) :- #0.128.
link(89,86) :- #0.127.
link(86,98) :- #0.474.
link(98,86) :- #0.768.
link(86,103) :- #0.526.
link(103,86) :- #0.334.
link(86,114) :- #0.317.
link(114,86) :- #0.178.
link(86,117) :- #0.735.
link(117,86) :- #0.346.
link(86,120) :- #0.11.
link(120,86) :- #0.047.
link(86,122) :- #0.957.
link(122,86) :- #0.213.
link(87,108) :- #0.024.
link(108,87) :- #0.812.
link(87,112) :- #0.807.
link(112,87) :- #0.946.
link(88,99) :- #0.248.
link(99,88) :- #0.609.
link(88,103) :- #0.286.
link(103,88) :- #0.895.
link(88,108) :- #0.709.
link(108,88) :- #0.681.
link(88,110) :- #0.12.
link(110,88) :- #0.229.
link(88,125) :- #0.81.
link(125,88) :- #0.14.
link(89,92) :- #0.154.
link(92,89) :- #0.953.
link(89,95) :- #0.659.
link(95,89) :- #0.47.
link(89,103) :- #0.988.
link(103,89) :- #0.381.
link(89,118) :- #0.169.
link(118,89) :- #0.674.
link(90,115) :- #0.953.
link(115,90) :- #0.546.
link(90,118) :- #0.491.
link(118,90) :- #0.025.
link(91,110) :- #0.695.
link(110,91) :- #0.931.
link(92,93) :- #0.427.
link(93,92) :- #0.638.
link(92,99) :- #0.991.
link(99,92) :- #0.966.
link(92,104) :- #0.916.
link(104,92) :- #0.59.
link(92,106) :- #0.201.
link(106,92) :- #0.532.
link(93,104) :- #0.016.
link(104,93) :- #0.236.
link(93,115) :- #0.748.
link(115,93) :- #0.882.
link(93,122) :- #0.36.
link(122,93) :- #0.834.
link(94,114) :- #0.913.
link(114,94) :- #0.687.
link(95,97) :- #0.152.
link(97,95) :- #0.206.
link(95,115) :- #0.697.
link(115,95) :- #0.861.
link(96,120) :- #0.736.
link(120,96) :- #0.12.
link(97,99) :- #0.662.
link(99,97) :- #0.427.
link(97,110) :- #0.786.
link(110,97) :- #0.63.
link(97,113) :- #0.056.
link(113,97) :- #0.17.
link(97,122) :- #0.589.
link(122,97) :- #0.752.
link(101,124) :- #0.71.
link(124,101) :- #0.636.
link(102,111) :- #0.585.
link(111,102) :- #0.587.
link(102,116) :- #0.624.
link(116,102) :- #0.048.
link(103,125) :- #0.844.
link(125,103) :- #0.236.
link(104,112) :- #0.735.
link(112,104) :- #0.644.
link(104,119) :- #0.951.
link(119,104) :- #0.153.
link(104,120) :- #0.541.
link(120,104) :- #0.609.
link(105,111) :- #0.614.
link(111,105) :- #0.873.
link(105,112) :- #0.255.
link(112,105) :- #0.974.
link(105,119) :- #0.252.
link(119,105) :- #0.449.
link(106,115) :- #0.408.
link(115,106) :- #0.284.
link(106,123) :- #0.862.
link(123,106) :- #0.408.
link(107,112) :- #0.894.
link(112,107) :- #0.642.
link(107,113) :- #0.226.
link(113,107) :- #0.178.
link(107,117) :- #0.726.
link(117,107) :- #0.235.
link(107,125) :- #0.237.
link(125,107) :- #0.792.
link(108,113) :- #0.197.
link(113,108) :- #0.17.
link(108,114) :- #0.026.
link(114,108) :- #0.382.
link(108,117) :- #0.992.
link(117,108) :- #0.515.
link(109,111) :- #0.071.
link(111,109) :- #0.562.
link(109,112) :- #0.487.
link(112,109) :- #0.606.
link(109,122) :- #0.44.
link(122,109) :- #0.934.
link(110,122) :- #0.145.
link(122,110) :- #0.804.
link(112,122) :- #0.331.
link(122,112) :- #0.783.
link(113,114) :- #0.338.
link(114,113) :- #0.173.
link(113,117) :- #0.657.
link(117,113) :- #0.633.
link(114,122) :- #0.248.
link(122,114) :- #0.459.
link(114,123) :- #0.342.
link(123,114) :- #0.96.
link(115,121) :- #0.86.
link(121,115) :- #0.806.
link(115,123) :- #0.339.
link(123,115) :- #0.64.
link(116,120) :- #0.433.
link(120,116) :- #0.26.
link(117,121) :- #0.186.
link(121,117) :- #0.855.
link(118,124) :- #0.898.
link(124,118) :- #0.776.
colour(red0).
colour(green0).
colour(blue0).
colour(yellow0).
colour(cyan0).
